int register_alloc();

void register_free(int r);

const char * register_name(int r);

